Tetradentate Schiff base beryllium complexes

The structure of (BeSalen)2 is reported. The incompatibility of the geometry of the beryllium with the inflexibility of the Salen ligand gives rise to a rare dimeric bis-didentate motif

Attacking Group Protocols by Refuting Incorrect Inductive Conjectures

Automated tools for finding attacks on flawed security protocols often fail to deal adequately with group protocols. This is because the abstractions made to improve performance on fixed 2 or 3 party protocols either preclude the modelling of group protocols all together, or permit modelling only in a fixed scenario, which can prevent attacks from being discovered. This paper describes Coral, a tool for finding counterexamples to incorrect inductive conjectures, which we have used to model protocols for both group key agreement and group key management, without any restrictions on the scenario. We will show how we used Coral to discover 6 previously unknown attacks on 3 group protocols

Attacking the Asokan-Ginzboorg Protocol for Key Distribution in an Ad-Hoc Bluetooth Network Using CORAL

We describe Coral, a counterexample finder for incorrect inductive conjectures. By devising a first-order version of Paulson's formalism for cryptographic protocol analysis, we are able to use Coral to attack protocols which may have an unbounded number of principals involved in a single run. We show two attacks we have found on the Asokan--Ginzboorg protocol for establishing a group key in an ad-hoc network of Bluetooth devices

Cross Domain Mathematical Concept Formation

Procs of AISB'00 Symposium on Creative and Cultural Aspects of AI and Cognitive ScienceMany interesting concepts in mathematics are essentially "cross-domain" in nature, relating objects from more than one area of mathematics, e.g. prime order groups. These concepts are often vital to the formation of a mathematical theory. Often, the introduction of cross-domain concepts to an investigation seems to exercise a mathematician's creative ability. The HR program, (Colton, 1999), proposes new concepts in mathematics. Its original implementation was limited to working in one mathematical domain at a time, so it was unable to create cross-domain concepts. Here, we describe an extension of HR to multiple domains. Cross-domain concept formation is facilitated by generalisation of the data structures and heuristic measures employed by the program, and the implementation of a new production rule. Results achieved include generation of the concepts of prime order groups, graph nodes of maximal degree and an interesting class of graph

The nickel, copper and zinc complexes of a potentially heptadentate nitrogen donor ligands

The synthesis of the potentially heptadentate ligands, tris-(2-aminobenzylidene)amino-ethylamine (L3) and tris-(o-aminobenzyl)aminoethylamine (L4) are reported. Complexes of L3 with nickel copper and zinc have been synthesised and characterised. However, the nickel and zinc compounds are observed to re-arrange during the procedures used to produce samples for X-ray diffraction analysis. In both cases aniline groups are found to migrate to give rise to unique but related coordinated polyamine species. A rational route which allows for the reduction of the imine function in L3 is presented giving rise to a heptadetate ligand (L4) which contains primary, secondary and tertiary amines. Having removed the reactive imine function, the synthesized nickel and copper complexes follow the expected synthetic and structural pattern with the nickel complex being observed to be octahedral and the copper(II) complex five coordinate. The zinc complex is in contrast different. As observed for L3, it is possible to generate simple ZnL3 complexes but these are prone to intramolecular cyclisation where an aniline nitrogen couples with the secondary amine to form a coordinated indizine

2017 User Workshop of the Copernicus Emergency Management Service – Summary Report

This report summarises the User Workshop of the Copernicus Emergency Management Service (EMS) – Mapping component which was held on 20-21 June 2017 at the Joint Research Centre (JRC) in Ispra, Italy. The User Workshop is the annual forum at which users, service providers, the Commission and other stakeholders exchange views and experiences of the Copernicus EMS - Mapping component. It was attended by 50 participants from across Europe, of whom eighteen were users of this service component. The focus of the User Workshop was on the two on-demand Mapping services - i.e. “Rapid Mapping” and “Risk and Recovery Mapping” - which provide geo-spatial information in support to all phases of disaster management. The information is mainly derived from satellite imagery and complemented by available ancillary data. During the first day of the Workshop, the focus was on providing insights in the technical and scientific capacity of the “Risk & Recovery” Mapping service, which delivers maps and analysis in support of disaster risk reduction, preparedness and prevention, recovery and reconstruction. The aim of this part of the Workshop was to increase awareness of this service module, which is less known than the “Rapid Mapping” service - the “24/7” (i.e. always on) service supporting emergency response operations. Users were invited to present their experience with both service modules, while a live demo of Unmanned Aerial Systems (UAS), was made, in order to show the potential of these platforms in the context of the fast provision of airborne imagery in an emergency situation. The second day of the Workshop addressed the evolution of Copernicus EMS - Mapping. Two Horizon 2020 projects were introduced and discussed: while iREACT (http://www.i-react.eu/) looks at exploiting advanced cyber technologies for disaster management, E2mC (https://www.e2mc-project.eu/) focuses on exploiting social data and crowdsourcing for use in Rapid Mapping. Other evolution-related topics addressed were links with the two Copernicus EMS Early Warning Systems (i.e. the European Flood Awareness System and the European Forest Fire Information System), product dissemination and potential new products. All topics were further discussed in groups. As every year, the discussions at the User Workshop are summarised and processed by the JRC, with a view to guiding the overall evolution of the service. The workshop agenda and presentations are available at: http://emergency.copernicus.eu/mapping/ems/copernicus-ems-mapping-user-workshop-2017JRC.E.1-Disaster Risk Managemen

Breeding together, feeding apart: sympatrically breeding seabirds forage in individually distinct locations

Individuals can specialise such that mutually exclusive home ranges arise and the acquisition of site familiarity early in life can favour individual site fidelity in mature animals. Non-territorial individual foraging site fidelity (IFSF) has been reported frequently, and among seabirds, foraging theory predicts that IFSF is more likely in short-ranging, benthic-foraging species, because their prey occur predictably at small scales. We tracked 17 adult and 2 immature black guillemots Cepphus grylle (mean mass 406 g, median of individual maximum foraging range 4.3 km). Individuals consistently returned to the same feeding areas, such that IFSF was significantly greater than the null expectation at spatial scales of 0.1 to 5 km and did not decay significantly over 10 d. Immature birds ranged more widely than adult birds. Our study demonstrates that space use varies between individuals and that processes or threats occurring within the foraging range of a given colony may act disproportionately on some individuals rather than be equally distributed across a population. This finding contributes to a growing body of research on IFSF, which may have important implications for species management